VLBI astrometry of circumstellar OH masers: Proper motions and parallaxes of four AGB stars