NAG Library Mark 23 manual