Algorithms and software for total variation image reconstruction via first-order methods