openEO: an open API for cloud-based big Earth Observation processing platforms · Study