Prior Learning and Convex-Concave Regularization of Binary Tomography