Navy's biggest business system makes successful commercial cloud migration