New enumeration formulas for alternating sign matrices and square ice partition functions