Provably second-order time-accurate loosely-coupled solution algorithms for transient nonlinear computational aeroelasticity