Alcatel-Lucent pays DoJ $4.2 million in settlement