简述淮海战役名称的由来。