Stochastic Guidance of Buoyancy Controlled Vehicles under Ice Shelves using Ocean Currents