Trace formula for component groups of Néron models