FGTS Digital: o que é? Como será feito o pagamento do benefício ao empregador?