Official: Roma sign Marquinhos