Mastodon Rules: Characterizing Formal Rules on Popular Mastodon Instances (academic paper on moderation)