电磁阀是利用（）进行操作的自动阀门。