A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity