Empresa que fará carros virarem metrô já tem protótipo funcional