Characterizing volumetric strain at Brady Hot Springs, Nevada, USA using geodetic data, numerical models and prior information