Abby Mullen's data on promotions in the early United States navy