Wireless battery charger based on components from Texas Instruments