Mathematical methods in queueing theory