Application of 2D-DIGE to formalin-fixed diseased tissue samples from hospital repositories: results from four case studies