what did stephen hawking have