What are the formula of the different types of simple machines?