Variable Splitting Techniques for Discrete Tomography