how much ketchup is in a ketchup packet