Accelerating Focal Search in Multi-Agent Path Finding with Tighter Lower Bounds