Graben formation and dike arrest during the 2009 Harrat Lunayyir dike intrusion in Saudi Arabia: Insights from InSAR, stress calculations and analog experiments