Pork Tenderloin and Bok Choy Noodle Stir-Fry