QuakeFloat8: A Provably Optimal Log-Domain 8-Bit Format for ML Multiply-Accumulate — Phiacta