The Gate Complexity of Syndrome Decoding of Hamming Codes