Modeling of MEMS piezoelectric energy harvesters using electromagnetic and power system theories