Categoricity in abstract elementary classes with no maximal models