Benedict Cumberbatch’s Doctor Strange to join Tom Holland’s Peter Parker in ‘Spider-Man 3’