mProphet: automated data processing and statistical validation for large-scale SRM experiments