Arsenal signs Brazilian teenager Marquinhos