BioTIME – A time-series database for the Anthropocene