Methodology and estimation costs for proximity maneuvering spacecraft formations in the vicinity of libration points