Alcatel-Lucent works with Red Hat to virtualize mobile networks