What we know about Spring4Shell so far