Linear goal programming and its solution procedures