Optimal Layout Synthesis for Quantum Circuits as Classical Planning (full version)