Mathematical models of the flow in the basilar artery