Text this: Converting industrial noise into useful electrical energy: a review and case study on acoustic energy harvesting in district cooling plants