Non-Linear Optimization Applied to Angle-of-Arrival Satellite-Based Geolocation