when was john adams the vice president?