Gassplattformen Aasta Hansteen er døpt