Probability in Electrical Engineering and Computer Science: An Application-Driven Course