Dick Williams resigns as Reds president of baseball operations