‘Spider-Man: No Way Home’ released in US theaters