Gravar-mail: Metal artifact reduction in x-ray computed tomography (CT) by constrained optimization