Modelling cyclist queue formation using a two-layer framework for operational cycling behaviour