Storm surge reduction by mangroves