Risk-based Methodology for the Determination of Hall Thruster Performance Specifications