Non-polynomial closed string field theory