Global cotton production, mill use, and prices