ML Decoding of First-Order Reed-Muller Codes