Electrostatic discharge in Martian dust storms