Assessing forensic evidence by computing belief functions