Self-avoiding walks in four dimensions: logarithmic corrections