The end of slavery and the end of empire: Slave emancipation in Cuba and Puerto Rico