The fourth Spider-Man movie starring Tom Holland will be released next year, Marvel Studios has announced.