History and current status of the rope pump in Nicaragua