Global population structure and demographic history of the grey seal