Modeling, Optimization, and Validation of the In-Space Facility Location Problem