A Model-Based Systems Engineering Approach to Designing a Water Booster Pump Station Incorporating Cyber-Informed Engineering Principles