Study quantifies global impact of electricity in dust storms on Mars