Many-worlds interpretation of quantum mechanics