what does the semitendinosus muscle do