Scalable Optimal Layout Synthesis for NISQ Quantum Processors