Baked pork tenderloin with barbecue sauce