Experimentally validated multiphysics computational model of focusing and shock wave formation in an electromagnetic lithotripter.