url shortener in php html and mysql