how old is jasmine in aladdin