Relating group size and posting activity of an online community of financial investors: Regularities and seasonal patterns