Preference-based Evolutionary Many-objective Optimization for Regional Coverage Satellite Constellation Design