how much does an arleigh burke destroyer cost