Hyper-generalized-gradient functionals constructed from the Lieb-Oxford bound: implementation via local hybrids and thermochemical assessment.