Parameterized Verification of Broadcast Networks of Register Automata