PTEN and prostate carcinoma: Pten/Trp53 double knockout mouse model of prostate cancer