Slave prices and productivity at the Cape of Good Hope from 1700 to 1725: Did everyone win from the trade?