The Fine-Grained Complexity Of Problems Expressible By First-Order Logic And Its Extensions