Battery Charger Control Based on IDA-PBC Approach