Official: Roca leaves Bayern for Leeds