Six vertex model and enumerations of alternating-sign matrices