Satellites, supercomputers and machine learning provide real-time crop type data