Decentralized SGD with Over-the-Air Computation