Investigation of cosmic ray muons with the WILLI detector compared with the predictions of theoretical models and with semi-analytical formulae