Official: Roma sign Marquinho