when does high school musical 3 come out