[python] How do I create a dictionary with keys from a list and values defaulting to (say) zero?