Observer-Based Adaptive Neural Networks Optimal Control for Spacecraft Proximity Maneuver with State Constraints