SemantiCodec: An Ultra Low Bitrate Semantic Audio Codec for General Sound