In what year was the last of the "Amazing Spiderman" movies written by James Vanderbilt released?