Elon Musk estimates a brain-machine interface will be available in four years