Solving total-variation image super-resolution problems via proximal symmetric alternating direction methods