The reachability problem for Petri nets is not elementary