What is the difference between air (pneumatic) and electric sanders?