Covering theory for graphs of groups