seared pork tenderloin with paprika and asparagus