refined alternating sign matrix conjecture