Commutative bounded integral residuated orthomodular lattices are Boolean algebras