Coexistence of metallic edge states and antiferromagnetic ordering in correlated topological insulators