NBC: David McCormick files paperwork to run as GOP Senate primary in Pa. heats up