Hohenberg-Mermin-Wagner-Type Theorems for Equilibrium Models of Flocking.