Columbia-class subs struggle with software trouble, GAO says