Time of occurrence observable in quantum mechanics