Cardinality and counting quantifiers on omega-automatic structures