Distributions of leptons in decays of polarised heavy quarks