Armario, José Andrés Bailera, Ivan Egan, Ronan Butson full propelinear codes Designs codes cryptogr. 10.1007/s10623-022-01110-7 2022 2022