Sony was already working on PS5 Pro before PlayStation 5 launch