Torres formalises the signing of offensive midfielder Mastinu