A first course in linear algebra