Optimal trade-off analysis for efficiency and safety in the spacecraft rendezvous and docking problem