An experimentally verified model for thermal microactuators including nonlinear material properties, vacuum, and intra-device heat conduction