Musk says artificial intelligence could replace some government employees