Aviva streamlines system migration, reduces costs with Red Hat