Lilotane: A Lifted SAT-based Approach to Hierarchical Planning