Chinese Pork Tenderloin with Garlic-Sauced Noodles