Mechanical properties of graphene cantilever from atomic force microscopy and density functional theory