Computing Hierarchical Finite State Controllers With Classical Planning