get_extension function

Get file extension