How did Williams achieve its first double-points finish with its 500‑part Miami upgrade package?