Pork tenderloin with orange juice and rosemary