What is the diameter of a plastic Coke bottle?