EffiBench: Benchmarking the Efficiency of Automatically Generated Code