Global holiday datasets for understanding seasonal human mobility and population dynamics