Gaia Early Data Release 3: Summary of the contents and survey properties - Gaia Collaboration; et al. (2020)