Inverse Source Problems For Focusing Wave Energy To Targeted Subsurface Formations: Theory And Numerical Experiments