Anderson and Mason win PGA Senior Stroke Play Championship titles