Offshore wind farm construction is noisy – but gadgets used to protect marine mammals are working