Proton-air cross section measurement with ARGO-YBJ