Using Answer Set Programming to Find Maximum Height Spanning Trees