When and How to Plan: Behavioral Quantification and Hippocampal Encoding of Multi-Step Planning