Burger King agrees to refranchise 42 restaurants to GPS Hospitality