From ecological records to big data: the invention of global biodiversity