Grilled Pork Tenderloin with Garlic-Ginger BBQ Marinade