ℏ4-order variational Thomas-Fermi calculations of finite nuclei: The local case