Buckling of a stiff film bound to a compliant substrate—Part I:: Formulation, linear stability of cylindrical patterns, secondary bifurcations