Rigid Body Path Planning using Mixed-Integer Linear Programming