A quantum lower bound for the query complexity of Simon's problem