Gochujang Marinated Pork Tenderloin