A Belleville-spring-based electromagnetic energy harvester