how much do alligators weigh