Maple-Glazed Pork Tenderloin