时间继电器有( )、( )、空气式和电子式几种形式。