Mathematical Modelling of a TENG-Powered Data Buoy | IEEE Conference Publication | IEEE Xplore