Musk, Brazilian govt discuss deal to provide rural Internet, monitor Amazon