A general sampling-based SMPC approach to spacecraft proximity operations