On the Feasibility of a Carrier Phase-Based Velocity Solution from LEO Satellites Proceedings