Finding cocompact Fuchsian groups of given trace field and quaternian algebra