A one-day workshop on AI in civil engineering - Fundamentals of AI, AI in Practice, and Local Examples of Use