Open-R1: an open reproduction of DeepSeek-R1