Meanwhile, combine broccoli, 2 tsp. olive oil, and 1/4 tsp. salt in a medium bowl; toss to coat. Place garlic on a small piece of foil. Drizzle with the remaining 1 tsp. oil; fold up into a small packet. Combine paprika, 1/4 tsp. ground pepper, and the remaining 1/4 tsp. salt in a small bowl. Spread mustard all over pork. Coat with the paprika mixture.