A first course in probability