Focused inversion of Vertical Radar Profile (VRP) travel-time data