Three-dimensional model of the Mono Basin (California): finite element analysis of the interaction between the Hartley Spring Fault and the Mono Dike