Porto Digital recebe R$ 8,8 milhões do BNDES