Estatísticas para Diversidade de gênero no setor de tecnologia: barreiras encontradas e percepção de sucesso das mulheres do Porto Digital